1. A short introduction to intuitionistic logic
پدیدآورنده: Mints, G. E.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Intuitionistic mathematics
رده :
511
M667s
2. Selected papers in proof theory
پدیدآورنده: Mints, G. E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
M56
1992





